br260@br260.wolfson.cam.ac.uk
br260@labyrinth.cl.cam.ac.uk
br260@laudney.cl.cam.ac.uk
+gm281@boulderdash.cl.cam.ac.uk
iap10@freefall.cl.cam.ac.uk
iap10@labyrinth.cl.cam.ac.uk
iap10@nidd.cl.cam.ac.uk
either in {\tt <xen/config.h>} or on the gcc command line.
The size (in pages) of the per-CPU trace buffers can be specified using the
-{\tt tbuf_size=n } boot parameter to Xen. If the size is set to 0, the trace
+{\tt tbuf\_size=n } boot parameter to Xen. If the size is set to 0, the trace
buffers will be disabled.
\subsection{Dumping trace data}